大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 International Computer Software 的图书(共11028本)

Web Information Systems Engineering-WISE 2010 Workshops [electronic resource] : WISE 2010 International Symposium WISS, and International Workshops CISE, MBC, Hong Kong, China, December 12-14, 2010, Revised Selected Papers

0
索取号：
作者：Chiu、 Dickson K. W.、Bellatreche、 Ladjel.、Sasaki、 Hideyasu.、Leung、 Ho-fung.、Cheung、 Shing-Chi.、Hu、 Haiyang.、Shao、 Jie.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Automated Technology for Verification and Analysis [electronic resource] : 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings

0
索取号：
作者：Bultan、 Tevfik.、Hsiung、 Pao-Ann.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Frontiers of Combining Systems [electronic resource] : 8th International Symposium, FroCoS 2011, Saarbr眉cken, Germany, October 5-7, 2011. Proceedings

0
索取号：
作者：Tinelli、 Cesare.、Sofronie-Stokkermans、 Viorica.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

ENTERprise Information Systems [electronic resource] : International Conference, CENTERIS 2011, Vilamoura, Algarve, Portugal, October 5-7, 2011, Proceedings, Part I

0
索取号：
作者：Cruz-Cunha、 Maria Manuela.、Varaj茫o、 Jo茫o.、Powell、 Philip.、Martinho、 Ricardo.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

ENTERprise Information Systems [electronic resource] : International Conference, CENTERIS 2011, Vilamoura, Portugal, October 5-7, 2011, Proceedings, Part II

0
索取号：
作者：Cruz-Cunha、 Maria Manuela.、Varaj茫o、 Jo茫o.、Powell、 Philip.、Martinho、 Ricardo.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

ENTERprise Information Systems [electronic resource] : International Conference, CENTERIS 2011, Vilamoura, Portugal, October 5-7, 2011, Proceedings, Part III

0
索取号：
作者：Cruz-Cunha、 Maria Manuela.、Varaj茫o、 Jo茫o.、Powell、 Philip.、Martinho、 Ricardo.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Computer Architecture [electronic resource] : ISCA 2010 International Workshops A4MMC, AMAS-BT, EAMA, WEED, WIOSCA, Saint-Malo, France, June 19-23, 2010, Revised Selected Papers

0
索取号：
作者：Varbanescu、 Ana Lucia.、Molnos、 Anca.、Nieuwpoort、 Rob.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Machine Learning in Medical Imaging [electronic resource] : Second International Workshop, MLMI 2011, Held in Conjunction with MICCAI 2011, Toronto, Canada, September 18, 2011. Proceedings

0
索取号：
作者：Suzuki、 Kenji.、Wang、 Fei.、Shen、 Dinggang.、Yan、 Pingkun.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Provable Security [electronic resource] : 5th International Conference, ProvSec 2011, Xi鈥檃n, China, October 16-18, 2011. Proceedings

0
索取号：
作者：Boyen、 Xavier.、Chen、 Xiaofeng.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Formal Modeling and Analysis of Timed Systems [electronic resource] : 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011. Proceedings

0
索取号：
作者：Fahrenberg、 Uli.、Tripakis、 Stavros.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Software Process Definition and Management [electronic resource]

0
索取号：
作者：M眉nch、 J眉rgen.、Armbrust、 Ove.、Kowalczyk、 Martin.、Soto、 Mart铆n.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Reachability Problems [electronic resource] : 5th International Workshop, RP 2011, Genoa, Italy, September 28-30, 2011. Proceedings

0
索取号：
作者：Delzanno、 Giorgio.、Potapov、 Igor.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Emerging Research in Artificial Intelligence and Computational Intelligence [electronic resource] : International Conference, AICI 2011, Taiyuan, China, September 23-25, 2011. Proceedings

0
索取号：
作者：Deng、 Hepu.、Miao、 Duoqian.、Wang、 Fu Lee.、Lei、 Jingsheng.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Modeling and Using Context [electronic resource] : 7th International and Interdisciplinary Conference, CONTEXT 2011, Karlsruhe, Germany, September 26-30, 2011. Proceedings

0
索取号：
作者：Beigl、 Michael.、Christiansen、 Henning.、Roth-Berghofer、 Thomas R.、Kofod-Petersen、 Anders.、Coventry、 Kenny R.、Schmidtke、 Hedda R.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Implementation and Application of Functional Languages [electronic resource] : 22nd International Symposium, IFL 2010, Alphen aan den Rijn, The Netherlands, September 1-3, 2010, Revised Selected Papers

0
索取号：
作者：Hage、 Jurriaan.、Moraz谩n、 Marco T.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Emerging Research in Web Information Systems and Mining [electronic resource] : International Conference, WISM 2011, Taiyuan, China, September 23-25, 2011. Proceedings

0
索取号：
作者：Zhiguo、 Gong.、Luo、 Xiangfeng.、Chen、 Junjie.、Wang、 Fu Lee.、Lei、 Jingsheng.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.